//]]>
Unhighlight Highlight
Engineering Secure Software and Systems by Jürjens, Jan. Publication: . XII, 231 p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Architecture of Computing Systems – ARCS 2013 by Kubátová, Hana. Publication: . XIV, 354 p. 146 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reversible Computation by Glück, Robert. Publication: . X, 241 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Assurances for Self-Adaptive Systems by Cámara, Javier. Publication: . X, 341 p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Radio Frequency Identification. Security and Privacy Issues by Hoepman, Jaap-Henk. Publication: . X, 181 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Construction and Evolution of Code Generators by Jörges, Sven. Publication: . XXIV, 246 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Czarnecki, Krzysztof. Publication: . XII, 413 p. 172 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering by Lucia, Andrea. Publication: . X, 237 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical and Engineering Methods in Computer Science by Kučera, Antonín. Publication: . XII, 213 p. 32 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering IV by Lämmel, Ralf. Publication: . XII, 449 p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Facing the Multicore-Challenge III by Keller, Rainer. Publication: . X, 146 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Beckert, Bernhard. Publication: . X, 356 p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Giacobazzi, Roberto. Publication: . XII, 556 p. 123 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Job Scheduling Strategies for Parallel Processing by Cirne, Walfredo. Publication: . X, 273 p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Păsăreanu, Corina S. Publication: . X, 277 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
SOFSEM 2013: Theory and Practice of Computer Science by Emde Boas, Peter. Publication: . XIV, 566 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering for Self-Adaptive Systems II by Lemos, Rogério. Publication: . X, 393 p. 110 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Practical Software Verification by Meyer, Bertrand. Publication: . VIII, 183 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Arbab, Farhad. Publication: . X, 369 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Wolff, Burkhart. Publication: . VIII, 249 p. 4 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 Next >>
Languages: 
English |
العربية